bitkeeper revision 1.520 (3f8d13d8qVVqxcYD--4cXYs5egqNyg)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Wed, 15 Oct 2003 09:31:04 +0000 (09:31 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Wed, 15 Oct 2003 09:31:04 +0000 (09:31 +0000)
commitd47201cc4f2bc9cbaae0bfab32cf8a1b917f153d
tree9fba304138611ee59cb6fc18f1e2a8bdef56e562
parent6841936e92562a7b2587f9c167e4c6483bfe1150
bitkeeper revision 1.520 (3f8d13d8qVVqxcYD--4cXYs5egqNyg)

Many files:
  Fix the minos license so that it is usable for XP and BSD ports.
minios.lds:
  Rename: extras/mini-os/vmlinux.lds -> extras/mini-os/minios.lds
.del-list.h~d612a8726e8d42e:
  Delete: extras/mini-os/h/list.h
.del-COPYING~1f9753354580bd13:
  Delete: extras/mini-os/COPYING
18 files changed:
.rootkeys
extras/mini-os/COPYING [deleted file]
extras/mini-os/Makefile
extras/mini-os/entry.S
extras/mini-os/events.c
extras/mini-os/h/hypervisor.h
extras/mini-os/h/list.h [deleted file]
extras/mini-os/h/mm.h
extras/mini-os/h/os.h
extras/mini-os/h/time.h
extras/mini-os/hypervisor.c
extras/mini-os/kernel.c
extras/mini-os/lib/malloc.c
extras/mini-os/minios.lds [new file with mode: 0644]
extras/mini-os/mm.c
extras/mini-os/time.c
extras/mini-os/traps.c
extras/mini-os/vmlinux.lds [deleted file]